home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text;
-
- import java.beans.PropertyChangeEvent;
- import java.beans.PropertyChangeListener;
- import java.io.Serializable;
- import java.util.EventObject;
- import javax.swing.event.CaretEvent;
- import javax.swing.event.CaretListener;
-
- class StyledEditorKit$AttributeTracker implements CaretListener, PropertyChangeListener, Serializable {
- // $FF: synthetic field
- private final StyledEditorKit this$0;
-
- StyledEditorKit$AttributeTracker(StyledEditorKit var1) {
- this.this$0 = var1;
- }
-
- public void caretUpdate(CaretEvent var1) {
- this.updateInputAttributes(var1.getDot(), var1.getMark(), (JTextComponent)((EventObject)var1).getSource());
- }
-
- public void propertyChange(PropertyChangeEvent var1) {
- Object var2 = var1.getNewValue();
- Object var3 = ((EventObject)var1).getSource();
- if (var3 instanceof JTextComponent && var2 instanceof Document) {
- this.updateInputAttributes(0, 0, (JTextComponent)var3);
- }
-
- }
-
- void updateInputAttributes(int var1, int var2, JTextComponent var3) {
- Document var4 = var3.getDocument();
- if (var4 instanceof StyledDocument) {
- int var5 = Math.min(var1, var2);
- StyledDocument var6 = (StyledDocument)var4;
- this.this$0.currentParagraph = var6.getParagraphElement(var5);
- Element var7;
- if (this.this$0.currentParagraph.getStartOffset() == var5) {
- var7 = var6.getCharacterElement(var5);
- } else {
- var7 = var6.getCharacterElement(Math.max(var5 - 1, 0));
- }
-
- if (var7 != this.this$0.currentRun) {
- this.this$0.currentRun = var7;
- this.this$0.createInputAttributes(this.this$0.currentRun, this.this$0.getInputAttributes());
- }
-
- }
- }
- }
-